Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL
نویسنده
چکیده
Dionisio de Niz [email protected] Even after years of research and practice in computer science and, in particular, in software engineering, software projects are still largely risky and unpredictable. There is significant evidence to support this observation. Consider, for instance, a NIST (National Institute of Standards and Technology) study in 2002 that found software errors cost the U.S. economy $59.5 billion annually, about 0.6 percent of the national gross domestic product [NIST 2002].
منابع مشابه
A Comparison and Evaluation of Real-Time Software Systems Modeling Languages
A model-driven approach to real-time software systems development enables the conceptualization of software, fostering a more thorough understanding of its often complex architecture and behavior while promoting the documentation and analysis of concerns common to real-time embedded systems such as scheduling, resource allocation, and performance. Several modeling languages have been developed ...
متن کاملThe SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering
Architecture Description Languages provide significant opportunity for the incorporation of formal methods and engineering models into the analysis of software and system architectures. A standard is being developed for embedded real-time safety critical systems which will support the use of various formal approaches to analyze the impact of the composition of systems from hardware and software...
متن کاملA Third Blockini El Blockinbased O Organ Onal Confer
There is a growing research activity around the use of metaheuristic search techniques (e.g., genetic algorithms) in software engineering, for example to support test case generation. This is often referred to as search-based software engineering and is the subject of an international conference every year. This presentation will reflect on several years of research, involving several collabora...
متن کاملFormal Verification of a Subset of UML Diagrams: An Approach Using Maude
The Unified Modeling Language (UML) (Rumbaugh, 1999) is widely used language for the specification of object oriented software systems, including concurrent and embedded systems. An UML model is a set of diagrams describing and documenting the structure, behavior and the usage of a software system. The UML case tools available in today markets help designers to create models and generate code a...
متن کاملTowards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems
Model-driven design (MDD) of complex embedded systems is currently based on successive cycles of model changes, analysis and simulation. This iterative process suffers from a delay between applying changes on the model and knowledge about the resulting properties of the system. Current research on Architecture Discription Languages (ADL) in general, and AADL in specific, focuses primarily on to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007